Action language - PDFSEARCH.IO - Document Search Engine

Action language
Results: 1090

#	Item
411	TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:29 Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus
412	The Graph Rewriting and Transformation Language: GReAT Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2009-09-17 15:02:03 Theoretical computer science Software engineering VIATRA GReAT Model transformation Action Object Constraint Language GrGen Unified Modeling Language Graph rewriting Mathematics
413	A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:25 Mathematical logic Logical syntax Metalogic Well-formed formula Interpretation Unmanned aerial vehicle Golden ratio Linear temporal logic Action description language Logic Formal languages Mathematics
414	Planning for Loosely Coupled Agents using Partial Order Forward-Chaining Jonas Kvarnstr¨om Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden ([removed]) Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-25 07:58:55 Partial-order planning Planning Domain Definition Language Planning Precondition Action Mind Action description language Automated planning and scheduling Artificial intelligence Physics
415	Proposal Date: [removed]University College Department of Honors Academy Proposal to Create a New Course (Action Item) Add to Reading List Source URL: wku.edu Language: English - Date: 2013-11-12 20:30:27 Simplified Chinese characters Course Education in the Republic of China Sinology International Chinese Language Program Mandarin Learning Center Education Curriculum Didactics
416	Texas Ethics Commission P.O.Box[removed]Austin, Texas[removed] Add to Reading List Source URL: bbs.ethics.state.tx.us Language: English - Date: 2008-07-03 10:46:45 Political action committee Politics Knowledge Language ZIP code Address S corporation
417	Texas Ethics Commission P.O.Box[removed]Austin, Texas[removed] Add to Reading List Source URL: bbs.ethics.state.tx.us Language: English - Date: 2008-07-08 15:18:27 ZIP code Political action committee Politics Taxation in the United States Knowledge Language Withholding taxes Address Human geography Postal system
418	Texas Ethics Commission P.O.Box[removed]Austin, Texas[removed] Add to Reading List Source URL: bbs.ethics.state.tx.us Language: English - Date: 2008-07-03 10:47:14 Address ZIP code Politics Knowledge Language Taxation in the United States Itemized deduction Political action committee
419	Texas Ethics Commission P.O.Box[removed]Austin, Texas[removed] Add to Reading List Source URL: bbs.ethics.state.tx.us Language: English - Date: 2008-07-08 15:18:14 Itemized deduction Political action committee Politics Knowledge Language Taxation in the United States ZIP code Address
420	add_action() add_filter() add_filter() (cont) Add to Reading List Source URL: bueltge.de Language: English PHP programming language WordPress Software Content management systems Blog software

UPDATE